procedure MIDI.XMIDI.Convert_To_Midi (
   Filename : String;
   Stream   : not null access Root_Stream_Type'Class
   );
